package hu.bme.mit.bpel.incquery.validation.constraints;

import org.eclipse.viatra2.emf.incquery.runtime.api.IMatcherFactory;
import org.eclipse.viatra2.emf.incquery.runtime.api.IncQueryMatcher;
import org.eclipse.viatra2.emf.incquery.validation.core.Constraint;

import patternmatchers.bpelqueries.FindUnhandledVariableMatcher;
import signatures.bpelqueries.FindUnhandledVariableSignature;

public class UnhandledVariable extends Constraint<FindUnhandledVariableSignature> {

	public UnhandledVariable() {
	}

	@Override
	public String getMessage() {
		return "This is an unhandled variable or fault.";
	}

	@Override
	public IMatcherFactory<FindUnhandledVariableSignature, ? extends IncQueryMatcher<FindUnhandledVariableSignature>> matcherFactory() {
		return FindUnhandledVariableMatcher.FACTORY;
	}

}
